Merge branch 'circular-menubutton' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 26 Jan 2021 12:47:38 +0000 (12:47 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 26 Jan 2021 12:47:38 +0000 (12:47 +0000)
Allow circular menubuttons

Closes #3423 and #3523

See merge request GNOME/gtk!3117


Trivial merge